Which of the following is a necessary condition for $ax^2 + by^2 = c$ to represent a set containing at least one integer solution, given $a, b, c > 0$?