Corollary 11. For an odd prime \( p \neq 5 \), the following are equivalent:
(i) \(\exists x, y \in \mathbb{Z} \) with \( x^2 + 5y^2 = p \).
(ii) \(\left(\frac{-5}{p}\right) = 1\) and \(\left(\frac{-1}{p}\right) = 1\).
(iii) \(p \equiv 1, 9 \pmod{20}\).