Es seien ${\displaystyle {}L}$ und ${\displaystyle {}M}$ differenzierbare Mannigfaltigkeiten und

${\displaystyle \varphi \colon L\longrightarrow M}$

eine differenzierbare Abbildung. Es sei ${\displaystyle {}\omega \in {\mathcal {E}}^{1}(M)}$ eine messbare Differentialform mit der zurückgezogenen Differentialform ${\displaystyle {}\varphi ^{*}\omega \in {\mathcal {E}}^{1}(L)}$ und es sei

${\displaystyle \gamma \colon I\longrightarrow L}$

eine stetig differenzierbare Kurve (${\displaystyle {}I}$ ein reelles Intervall). Zeige, dass für die Wegintegrale die Gleichheit

${\displaystyle {}\int _{\gamma }\varphi ^{*}\omega =\int _{\varphi \circ \gamma }\omega \,.}$