theorem Th22: :: NUMBER09:22

for n being Nat st (2 |^ n) - 1 is prime & (2 |^ n) + 1 is prime holds
n = 2