Satz 22.17
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 22 Diskrete Bewertungsringe/Charakterisierung/1/Fakt