- #1

- 10

- 0

## Homework Statement

Prove cancellation axiom using the properties of addition, multiplication and the order axioms. This is cancellation axiom in the integers.

## Homework Equations

## 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.