Category:Natural Numbers with Extension fulfil Naturally Ordered Semigroup Axioms 1, 3 and 4