Mannigfaltigkeit/Vektorbündel/R/Linearer Zusammenhang/Vertikale Richtungsableitung/Leibniz/Aufgabe

Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem linearen Zusammenhang versehen sei und es sei ein Vektorfeld auf . Zeige, dass für jeden differenzierbaren Schnitt in und jede differenzierbare Funktion (die beide auf einer offenen Menge definiert sind) die Beziehung

gilt.