Integer Multiplication Distributes over Addition/Corollary

Corollary to Integer Multiplication Distributes over Addition
The operation of multiplication on the set of integers $\Z$ is distributive over subtraction:


 * $\forall x, y, z \in \Z: x \times \left({y - z}\right) = \left({x \times y}\right) - \left({x \times z}\right)$
 * $\forall x, y, z \in \Z: \left({y - z}\right) \times x = \left({y \times x}\right) - \left({z \times x}\right)$