Which condition on $a, b, c$ ensures the linear Diophantine equation $ax + by = c$ has integer solutions?