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,