Prove that any subring of a field which contains the identity is an integral domain.
Let be a subring of a field. (We need not yet assume that ). Suppose with . since and the zero element in is the same as that in , either or . Thus has no zero divisors. If also contains 1, then is an integral domain.