Prove the cancellation law for integers: If a,b, c are integers such that ac=bc and c is non zero, then a=b.
hint for proof* use the cancellation law: Let a,b,c be natural numbers such that ac=bc and c is non zero, then a=b
Use the trichotomy of integers.