Natural Number Multiplication is Commutative/Proof 1

Proof
We have that the Natural Numbers form Naturally Ordered Semigroup whose operation is addition.

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