In general, what are the strategies for showing the completeness of a solution set for Diophantine Equations? For example, take the $\textit{Pell-type}$ equation $x^2 - dy^2 = a$. Say, you have a set ...