Es sei offen und sei
-
eine stetig differenzierbare Abbildung. Es sei und es sei die Faser durch . Das
totale Differential sei surjektiv.
Dann gibt es eine offene Menge
, ,
eine offene Menge und eine stetig differenzierbare Abbildung
-
derart, dass ist und eine Bijektion
-
induziert.