Hyperfläche/Glatt/Normalenfeld/Fakt

Es sei offen, eine stetig differenzierbare Funktion und die Faser zu , wobei in jedem Punkt von regulär sei.

Dann ist ein Einheitsnormalenfeld auf .