Es sei
ein
euklidischer Vektorraum,
offen,
-
eine
differenzierbare Funktion
und
-
das zugehörige
Gradientenfeld. Es sei
-
eine
Lösung der Differentialgleichung
-
![{\displaystyle {}v'=G(v)\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5c1cbe7d1e3268077e3191c8dcac23c4de9d0fb)
Dann steht
senkrecht
auf dem
Tangentialraum
der
Faser
von
durch
für
,
für die
reguläre Punkte
von
sind.