theorem Th34: :: NUMBER17:34

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