Standard-graduierter Ring/K/Endlich erzeugter Modul/Kumulative Hilbertfunktion/Polynomial/Aufgabe

Es sei ein standard-graduierter Ring und ein -graduierter endlich erzeugter Modul über . Zeige, dass die kumulative Hilbertfunktion zu von polynomialen Typ ist.