theorem Th57: :: NUMBER10:57

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