theorem :: NEWTON06:24

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