Kommutative Ringtheorie/Hauptidealbereich/Produkt irreduzibel/Fakt

In einem Hauptidealbereich lässt sich jede Nichteinheit ${}a\neq 0$ als ein Produkt von irreduziblen Elementen darstellen.

Zum Beweis, Alternativen Beweis erstellen