theorem :: NUMBER03:3

(2 |^ 10) + 1 = 1025