theorem Th65: :: NUMBER08:65

for k being Nat holds 3 |^ (2 * k),1 are_congruent_mod 8