Es sei ein
endlichdimensionaler
reeller Vektorraum,
ein
reelles Intervall,
eine
offene Menge
und
-
ein stetiges
Vektorfeld
auf das
lokal einer Lipschitz-Bedingung
genügt. Es sei
ein offenes Teilintervall und es seien
-
Lösungen des Anfangswertproblems
-
Dann ist
.