theorem Th74: :: NUMBER17:74

for s being positive Nat holds 7 divides (2 |^ (2 |^ ((2 * s) + 1))) + 3