Es sei
ein
euklidischer Vektorraum,
offen,
-
eine
differenzierbare Funktion
und
-
das zugehörige
Gradientenfeld. Es sei
-
eine
Lösung der Differentialgleichung
-

Dann steht
senkrecht
auf dem
Tangentialraum
der
Faser
von
durch
für
,
für die
reguläre Punkte
von
sind.