Lemma 22.14
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 22 Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt
