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