Es sei
zweifach differenzierbar mit γ ( 0 ) = P {\displaystyle {}\gamma (0)=P} und γ ′ ( 0 ) = v ∈ T P Y {\displaystyle {}\gamma '(0)=v\in T_{P}Y} . Es ist
für alle t ∈ I {\displaystyle {}t\in I} und daher ist mit Aufgabe