Which property of the greatest common divisor $d = \gcd(a, b)$ is essential for the linear Diophantine equation $ax + by = c$ to have integer solutions?