Natural Number Multiplication Distributes over Addition/Proof 1

Theorem
The operation of multiplication is distributive over addition on the set of natural numbers $\N$:
 * $\forall x, y, z \in \N:$
 * $\left({x + y}\right) \times z = \left({x \times z}\right) + \left({y \times z}\right)$
 * $z \times \left({x + y}\right) = \left({z \times x}\right) + \left({z \times y}\right)$

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

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