Differenzierbare Hyperfläche/Holonomiegruppe/Untergruppe/Aufgabe

Es sei offen, eine stetig differenzierbare Funktion und die Faser zu , wobei in jedem Punkt von regulär sei. Zeige, dass die Holonomiegruppe zu einem Punkt in der Tat eine Untergruppe der Isometriegruppe

ist.