1. The problem statement, all variables and given/known data Prove cancellation axiom using the properties of addition, multiplication and the order axioms. This is cancellation axiom in the integers. 2. Relevant equations 3. The attempt at a solution I basically said that if ab=ac, then ab-ac=0, so a(b-c)=0, and if "a" does not equal to 0, then b-c=0, hence b=c. I just started working with proofs and I have no idea if this is correct, and I didn't have the time to go to TA session so now I'm on my own.