Satz 16.13
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 16 Polynomring/K/Multiplizität/Fakt