Satz 23.6 Kurs:Kommutative Algebra/Teil I/Vorlesung 23
Kommutative Ringtheorie/Hauptidealbereiche sind Dedekindbereiche/Fakt
