Lemma 21.5
Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 21 Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt