Ebene algebraische Kurve/Glatter Punkt/Lokaler Ring ist diskreter Bewertungsring/Fakt/Name

Der Satz über den lokalen Ring an einem glatten Punkt einer Kurve.