theorem Th7: :: NUMBER04:7

for n being Nat holds 2 |^ (4 * n),1 are_congruent_mod 5