Kurs:Differentialgeometrie/Hyperfläche/Glatt/Normalenfeld/Fakt/Faktreferenznummer

Lemma 2.4 (Differentialgeometrie (Osnabrück 2023))