Prove cancellation axiom using the properties of addition, multiplication and the order axioms. This is cancellation axiom in the integers.
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.