theorem Th37: :: NUMBER13:37

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