A nontrivial ring with a nonzerodivisor `e` generating a prime ideal and with `⋂ₙ (e)ⁿ = 0` is a domain.

Initializing...

A nontrivial ring with a nonzerodivisor `e` generating a prime ideal and with `⋂ₙ (e)ⁿ = 0` is a domain. · Prove2Me