Proposition 1.8.1.12.  Let a, b, c ∈  such that a + c = b + c. Then:
a = b
Proof.  By induction on c.
References.