Hauptidealbereich/Irreduzibel ist prim/Fakt

Es sei ${}R$ ein Hauptidealbereich. Dann ist ein Element genau dann prim,

wenn es irreduzibel ist.

Beweis 1, 2, Alternativen Beweis erstellen