Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt/Faktreferenznummer