theorem :: NUMBER08:105

{ [x,y] where x, y is positive Rational : x * (x + 1) = (4 * y) * (y + 1) } is infinite