Common Divisor in Integral Domain Divides Linear Combination

Theorem
Let $\left({D, +, \times}\right)$ be an integral domain.

Let $c$ be a common divisor of two elements $a$ and $b$ of $D$.

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

Then:


 * $\forall p, q \in D: c \mathrel \backslash \left({p \times a + q \times b}\right)$