Lemma 23.6
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 23 Zahlbereich/Hauptdivisor ist endlich/Fakt