Kurs:Differentialgeometrie/Differenzierbare Funktion/Graph/Hyperfläche/Weingartenabbildung/Fakt/Faktreferenznummer

Lemma 4.9 (Differentialgeometrie (Osnabrück 2023))