Product is Zero Divisor means Zero Divisor

Theorem
If the ring product of two elements of a ring is a zero divisor, then one of the two elements must be a zero divisor.