theorem :: NEWTON06:25

for a, b being odd Integer holds
( a mod b is odd iff a div b is even )