Natural Number Multiplication is Commutative/Proof 1

Proof
Consider the natural numbers defined as a naturally ordered semigroup.

The result follows from Multiplication in Naturally Ordered Semigroup is Commutative.