theorem Th68: :: NUMBER10:68

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