Real Addition Identity is Zero/Corollary

Corollary to Real Addition Identity is Zero

 * $\forall x, y \in \R: x + y = x \implies y = 0$