theorem MOO: :: NEWTON06:26

for a being Integer
for b being odd Integer st not b divides a holds
( a mod b is odd iff (- a) mod b is even )