If are rings with unity, then their direct product is also a ring . Let . Then, and . If is a unit there exists, but and . Now assume the converse, if and are units, then there exists and , thus, is a unit.Originally Posted bysuedenation

Q.E.D.