Multiple of Divisor Divides Multiple

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

Let:
 * $a \divides b$

where $\divides$ denotes divisibility.

Then:
 * $a c \divides b c$