Satz 19.1
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 19 Kommutative Ringtheorie/Hauptidealbereiche sind Dedekindbereiche/Fakt