Es sei
eine stetig differenzierbare Funktion und
das zugehörige Gradientenfeld. Es sei
eine stetig differenzierbare Lösung zur zugehörigen Differentialgleichung, die eine Faser F {\displaystyle {}F} zu h {\displaystyle {}h} zu zwei verschiedenen Zeitpunkten t 0 < t 1 {\displaystyle {}t_{0}<t_{1}}