Satz 21.7
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 21 Lokaler Ring/Restkörperbedingung/Regulär und Freier Kählermodul/Fakt