Aufgabe 21.3
Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 21 Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt/Beweis/Aufgabe