Ring Product with Zero

Theorem
If $$0_R$$ is the zero in the ring $$\left({R, +, \circ}\right)$$, then:

$$\forall x \in R: 0_R \circ x = 0_R = x \circ 0_R$$

Proof
Because $$\left({R, +, \circ}\right)$$ is a ring, $$\left({R, +}\right)$$ is a group.

Since $$0_R$$ is the identity in $$\left({R, +}\right)$$, we have $$0_R + 0_R = 0_R$$.

From the Cancellation Laws, all group elements are cancellable, so every element of $$\left({R, +}\right)$$ is cancellable for $$+$$.

Thus:

$$ $$ $$ $$

Next:

$$ $$ $$ $$