Product of Products

Theorem
Let $R: \Z \to \left\{ {\mathrm T, \mathrm F}\right\}$ be a propositional function on the set of integers.

Let $\displaystyle \prod_{R \left({i}\right)} x_i$ denote a product over $R$.

Let the fiber of truth of $R$ be finite.

Then:
 * $\displaystyle \prod_{R \left({i}\right)} \left({b_i c_i}\right) = \left({\prod_{R \left({i}\right)} b_i}\right) \left({\prod_{R \left({i}\right)} c_i}\right)$

Proof
Let $b_i =: a_{i 1}$ and $c_i =: a_{i 2}$.

Then: