Integer Coprime to all Factors is Coprime to Whole

Theorem
Let $a, b \in \Z$.

Let $\displaystyle b = \prod_{j \mathop = 1}^r b_j$

Let $a$ be coprime to each of $b_1, \ldots, b_r$.

Then $a$ is coprime to $b$.