theorem Th30: :: NUMBER04:30

for n being Nat holds 2 |^ n,2 |^ (n mod 12) are_congruent_mod 65