Proof that <N, 0, +> is a monoid.