theorem :: NUMBER08:93

{ [x,y] where x, y is positive Nat : ((3 * (x ^2)) - (7 * (y ^2))) + 1 = 0 } is infinite