Axiom 2 and 3: If equals are added or subtracted to equals, the wholes are equal