Hauptidealbereich/Faktoriell/Fakt

Ein Hauptidealbereich

ist ein faktorieller Bereich.

Zum Beweis, Alternativen Beweis erstellen