theorem Th8: :: NUMBER04:8

for n being Nat holds 2 |^ (12 * n),1 are_congruent_mod 13