⁴ You may find it helpful to turn back to the definition of a ring and to the last point in the definition of a field.