eine auf einem Intervall I {\displaystyle {}I} definierte Lösungskurve zur Differentialgleichung v ′ = F ( v ) {\displaystyle {}v'=F(v)} , d.h. es gilt v ′ ( t ) = F ( v ( t ) ) {\displaystyle {}v'(t)=F(v(t))} für alle t ∈ I {\displaystyle {}t\in I} . Wir betrachten die Ableitung der Verknüpfung
Nach der Kettenregel ist
Also ist die Ableitung von h ∘ v {\displaystyle {}h\circ v} gleich 0 {\displaystyle {}0} für alle t ∈ I {\displaystyle {}t\in I} und daher ist h ∘ v {\displaystyle {}h\circ v} konstant.