Wir betrachten den Beginn der Koszul-Auflösung
-
und den Ringwechsel
-
mit . In der Tensorierung der Sequenz gilt mit den Erzeugern die Beziehung
-
Somit ist
-
Wenn man modulo der Torsion geht, so ist
-
und man braucht nur den Erzeuger . Modulo Torsion ist die Abbildung nach surjektiv.