Es sei P∈C=V(F)⊂AK2{\displaystyle {}P\in C=V(F)\subset {\mathbb {A} }_{K}^{2}} ein glatter Punkt einer ebenen irreduziblen Kurve. Zeige, dass der zugehörige lokale Ring ein diskreter Bewertungsring ist.