Define multiplication, prove commutative. Initial work on no zero divisors for N