Zurückziehen von Differentialformen/Verträglichkeit mit skalarer Funktion/Aufgabe

Es sei

eine differenzierbare Abbildung zwischen differenzierbaren Mannigfaltigkeiten, es sei

eine Funktion auf und eine -Form auf . Zeige