Differenzierbarer Weg/Mannigfaltigkeit/1-Form/Rückzug der Ableitung/Aufgabe

Es sei eine differenzierbare Mannigfaltigkeit, eine differenzierbare Kurve in und eine differenzierbare -Form auf . Zeige, dass

ist.