Real Zero is Zero Element

Theorem

 * $\forall x \in \R: 0 \times x = 0$