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

Construction
There exists a unique total ordering $\le$ on $M$ such that:
 * the restriction of $\le$ to $\N$ is the given total ordering $\le$ on $\N$
 * $0 < \beta < 1$