theorem Th32: :: NUMBER17:32

for n being Nat holds 7 divides (2 |^ (6 * n)) - 1