Lemma 23.2
Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 23 Ebene algebraische Kurve/Glatter Punkt/Lokaler Ring ist diskreter Bewertungsring/Fakt
