Satz 21.8
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 21 Diskrete Bewertungsringe/Charakterisierung/1/Fakt