Lemma 22.4
Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 22 Noetherscher Ring/Maximales Ideal/Kotangentialraum direkt und über lokalen Ring/Fakt