Ebene algebraische Kurve/Punkt/Glatt,diskreter Bewertungsring, Multiplizität/Fakt/Name

Der Satz über die Glattheit und Normalität einer ebenen Kurve.