Sei \(Z:=\mathbb{Z}\), dann ist \(Z/mZ\) für nichtprimes \(m\)
kein Integritätsbereich, also auch kein Hauptidealring.
Ist hingegen \(m\) prim, so ist \(Z/mZ\) ein Körper, also i.b.
ein Hauptidealring. Dass dieser nicht euklidisch ist, muesste
man noch nachweisen.