Differentialform/Lokal/Zurückziehen unter partiell konstanter Abbildung/Fakt/Beweis

Beweis

Nach Fakt gilt

Da ist für alle , ist für jedes eine Zeile der Matrix , so dass die Determinanten stets sind.