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

Es sei ein Körper, ein Polynom ohne mehrfache Faktoren und sei ein glatter Punkt der Kurve. Es sei der lokale Ring der Kurve im Punkt .

Dann ist ein diskreter Bewertungsring.