theorem :: NUMBER14:99

for D, m being positive Integer st D = (m ^2) + 1 holds
{ [x,y] where x, y is positive Integer : (x ^2) - (D * (y ^2)) = 1 } is infinite