Lemma 18.9
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 18 Noetherscher Ring/Maximales Ideal/Kotangentialraum direkt und über lokalen Ring/Fakt