Theorem

The operation of multiplication on the set of integers $\Z$ is distributive over addition:

$\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)$

Corollary

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)$

Proof

Let us define $\Z$ as in the formal definition of integers.

That is, $\Z$ is an inverse completion of $\N$.

From Natural Numbers form Commutative Semiring, we have that:

The result follows from the Extension Theorem for Distributive Operations.

$\blacksquare$