Satz 19.1
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 19 Polynomring/Körper/Krulldimension/Höhengleichheit/Fakt