define addition & multiplication on naturals, prove that naturals over addtion is a commutative monoid