theorem Th76: :: NUMBER17:76

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