theorem Th6: :: NUMBER15:6

for m, n being Nat holds
( not (n * m) mod 4 = 1 or n mod 4 = 1 or n mod 4 = 3 )