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