Die zweite Gleichung beruht auf einer einfachen Umordnung. Aufgrund von
Fakt (2) kann man sich auf den Fall
beschränken. Wir setzen
und dürfen
annehmen. Wir zeigen die Gleichheit der beiden
-Formen auf
, indem wir zeigen, dass sie für jeden Punkt
und jedes Dachprodukt
mit
den gleichen Wert liefern. Es ist einerseits

Wenn man andererseits die Summe auf
anwendet, so ist
außer bei
,
wo sich der Wert
ergibt, sodass sich also der gleiche Wert ergibt.