theorem Th69: :: NUMBER08:69

for n being Nat st (2 |^ n) mod 4 = 2 holds
n = 1