Real Multiplication Distributes over Addition

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