Lemma 16.7
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 16 Standard-graduierter Ring/K/Modul/Endlich erzeugt/Stufen endlichdimensional/Fakt