theorem Th36: :: NUMBER13:36

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