theorem :: NUMBER08:99

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