In the preceding posts, I have discussed theAxioms of Real Numbers and the Axioms of Equality. We will use these axioms to prove several basic theorems in Algebra. In this post, we prove the cancellation law of addition. That is, for any numbers a, b, and c, if a + c = b + c, then a = b.