Zunächst ist für eine differenzierbare Funktion g {\displaystyle {}g}
nach Fakt (3). Beliebige differenzierbare Vektorfelder kann man als
und
ansetzen. Dann ist