Satz 21.8
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 21 Lokaler Ring/Assoziierter graduierter Ring/Regularität/Fakt