Divisor Divides Multiple

Theorem
Let $a, b$ be integers.

Let:
 * $a \mathrel \backslash b$

where $\backslash$ denotes divisibility.

Then:
 * $\forall c \in \Z: a \mathrel \backslash b c$