Hauptteilmodul/Differentialoperator/Auf Produkt von Differentialformen/Fakt/Beweis

Beweis

Dies folgt aus Fakt, da ein Differentialoperator, aufgesfasst auf dem Modul der Hauptteile, einfach die Auswertung in der zweiten Tensorkomponente ist.

Zur bewiesenen Aussage