Satz 21.7
Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 21 Diskrete Bewertungsringe/Charakterisierung/1/Fakt