Natural Number Multiplication is Commutative

Theorem
The operation of multiplication on the set of natural numbers $\N$ is commutative:
 * $\forall x, y \in \N: x \times y = y \times x$


 * If two (natural) numbers by multiplying one another make certain numbers, the numbers so produced will be equal to one another.

Proof
Follows directly from the fact that the Natural Numbers form Commutative Semiring.