1. Cancellation laws: use only rules from 'basics' to prove cancellation laws for addition and multiplication for natural numbers. That is, prove for natural numbers m, n, k, i) if m

+ k = n + k then m = n, ii) if mk = nk then m = n,