Common Divisor Divides Integer Combination/Proof 1

Proof
We have that the Integers form Integral Domain.

The result then follows from Common Divisor in Integral Domain Divides Linear Combination.