Corollary 1.8.1.13.  Let m, n ∈  such that m + n = m. Then:
n = 0
Proof.
We have n + m = 0 + m1.8.1.12n = 0.