Which of the following conditions is necessary for the existence of integer solutions to $ax^2 + by^2 + cz^2 = 0$ according to Legendre's Theorem (assuming $a, b, c$ are square-free, pairwise coprime, and not all same sign)?