Natural Number Multiplication Distributes over Addition

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 3
In the Axiom Schema for 1-Based Natural Numbers, this is rendered:
 * $\forall x, y, z \in \N_{> 0}:$
 * $\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)$