working on NN_agreement

which will show that the free abelian monoid on 1 generator is
isomorphic to nat, made into an abelian monoid