Zahlbereich/Faktoriell ist Hauptidealbereich/Aufgabe/Lösung

Siehe die entsprechende Argumentation im Beweis zu

Fakt.