Satz 19.10
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 19 Kommutativer Ring/Modul/Dimension/Hilbert-Samuel-Polynom/Grad/Fakt