theorem :: NUMBER10:53

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