Hauptteilmodul/Symmetrische Potenz/Differentialformen/Natürliche Abbildung/Fakt/Beweis

Beweis

In wird das Differential durch realisiert. Die natürliche Abbildung

ist einfach die Produktabbildung. Die zweite Gleichung ergibt sich direkt aus dem Distributivgesetz.