Es sei
mit J ⊆ I {\displaystyle {}J\subseteq I} eine Lösung des eindimensionalen Anfangswertproblems
mit
und sei
Dann ist nach Fakt (2)
Ferner ist