theorem Th40: :: NUMBER10:40

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