Kommutative Ringtheorie/Hauptidealbereiche sind Dedekindbereiche/Fakt

Hauptidealbereiche sind Dedekindbereiche.

Zum Beweis, Alternativen Beweis erstellen