theorem :: NUMBER09:50

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