theorem Th35: :: NUMBER13:35

for n being positive Nat holds (2 * (2 |^ (2 |^ n))) + 1 is composite