Satz 23.7
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 23 Ebene algebraische Kurve/Punkt/Glatt,diskreter Bewertungsring, Multiplizität/Fakt