Suppose that A is a ring and I is an ideal of A. Prove that the quotient ring A/I is an integral domain if and only if I satisfies the following:
and or .
I have tried it both ways using a contradictory argument but to no avail. Help much appreciated.