theorem Th24: :: NUMBER15:24

for m being Nat st m is odd holds
(3 |^ m) mod 4 = 3