theorem :: NUMBER10:56

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