theorem Th55: :: NUMBER10:55

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