Wir gehen aus von der Multiplikation
-
die wegen der Filtrationsbedingung
wohldefiniert ist. Wegen
und
induziert dies eine Abbildung
-
Die Gesamtheit dieser Abbildung ergibt eine Abbildung
-
die zu einem graduierten -Modul macht.
Zum Nachweis der endlichen Erzeugtheit sei
für
.
Es ist dann
-
für
.
Eine Vereinigung von Erzeugern der ist ein Erzeugendensystem für den graduierten Modul.