unity of subring
Theorem.
Let be a proper subring of the ring . If has a non-zero unity which is not unity of , then is a zero divisor of .
Proof. Because is not unity of , there exists an element of such that . Then we have , which implies that . Since neither nor is 0, the element is a zero divisor in .