Kommutative Ringtheorie/Primelement/Charakterisierung mit Restklassenring/Aufgabe

Sei ein kommutativer Ring und , . Zeige, dass genau dann ein Primelement ist, wenn der Restklassenring ein

Integritätsbereich ist.