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.
Nach Fakt gilt
Da
ist für alle , ist für jedes eine Zeile der Matrix , so dass die Determinanten stets sind.