Zero Product with Proper Zero Divisor is with Zero Divisor

Theorem
Let $$\left({R, +, \circ}\right)$$ be a ring.

Let $$x \in R$$ be a (proper) zero divisor of $$R$$. Then:

$$\left({x \backslash 0_R}\right) \land \left({x \circ y = 0_R}\right) \land \left({y \ne 0_R}\right) \Longrightarrow y \backslash 0_R$$

That is, if $$x$$ is a zero divisor, then whatever non-zero element you form the product with it by to get zero must itself be a zero divisor.