Given the equation $ax + by = c$, if $\gcd(a, b) = d$, which statement must be true for integer solutions to exist?