Lemma 16.9
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 16 Standard-graduierter Ring/K/Modul/Hilbertfunktion/Polynomial/Fakt