Natural Numbers with Extension fulfil Naturally Ordered Semigroup Axioms 1, 3 and 4/Lemma 1

Construction
The algebraic structure:
 * $\struct {M, +}$

is a commutative monoid such that $0$ is the identity.