Natural Number Multiplication Distributes over Addition/Proof 3

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

Proof
This proof uses this axiom schema: