Field/Two ideals/Fact

Let be a commutative ring.

Then the following statements are equivalent.
  1. is a field.
  2. There exist exactly two ideals in .