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