theorem Th82: :: NUMBER17:82

for s being positive Nat holds 37 divides (2 |^ (2 |^ ((6 * s) + 2))) + 21