Hyperfläche/Glatt und kompakt/Jede Hyperebene als Tangentialraum/Fakt
Es sei eine offene Teilmenge und sei
eine stetig differenzierbare Funktion. Die Faser von zu einem Punkt sei kompakt und in jedem Punkt regulär.
Dann ist jeder -dimensionale Unterraum für mindestens einen Punkt gleich dem Tangentialraum .