Template:Domain-to-field property

Any integral domain satisfying this property of commutative unital rings, must be a field