theorem Th31: :: NUMBER17:31

for n being Nat holds 5 divides (2 |^ (4 * n)) - 1