Right Distributive Law for Natural Numbers

Theorem
The operation of multiplication is right 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)$