Which of the following is a necessary condition for the linear Diophantine equation $ax + by = c$ to have at least one integer solution $(x, y)$?