theorem Th65: :: NUMBER04:65

for k being Nat holds 7 divides (10 |^ ((6 * k) + 4)) + 3