theorem Th68: :: NUMBER08:68

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