Kommutative Ringtheorie/Primelement/Charakterisierung mit Restklassenring/Aufgabe

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

Integritätsbereich ist.