Integer Coprime to Factors is Coprime to Whole

Theorem
Let $a, b, c \in \Z$ be integers.

Let:
 * $a \perp b$
 * $a \perp c$

where $\perp$ denotes coprimality.

Then:
 * $a \perp b c$