 Moreover, an ideal "I" is prime if and only if the factor ring "R" / "I" is an integral domain.Proving that an ideal is prime, or equivalently that a ring has no zero-divisors can be very difficult.Yet another way of expressing the same is to say that the complement "R" \ "p" is multiplicatively closed.