Common Divisor Divides Difference

Theorem
Let $c$ be a common divisor of two integers $a$ and $b$.

That is:
 * $a, b, c \in \Z: c \mathrel \backslash a \land c \mathrel \backslash b$

Then:
 * $c \mathrel \backslash \left({a - b}\right)$