Kommutative Ringtheorie/Hauptidealbereiche sind Dedekindbereiche/Fakt
Hauptidealbereiche
sind
Dedekindbereiche
.
Zum Beweis
,
Alternativen Beweis erstellen