Let a, b, c be integers; where a and b are not equal to zero.
Prove that the equation ax+by=c has integer solutions if and only if c is divisible by d=GCD(a,b).