Square Divides Product of Multiples

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

Let:
 * $a \divides b, a \divides c$

where $\divides$ denotes divisibility.

Then:


 * $a^2 \divides b c$

Proof
We have that: