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.