theorem Th33: :: NUMBER17:33

for n being Nat holds 11 divides (2 |^ (10 * n)) - 1