Satz 14.2
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 14 Dedekindbereich/Divisorenklassengruppe/Charakterisierung von faktoriell/Fakt