Euklidischer Bereich/Hauptidealbereich/Fakt

Ein euklidischer Bereich ist ein Hauptidealbereich.

Zum Beweis, Alternativen Beweis erstellen