theorem :: NEWTON05:79

for a, b being non zero Integer st Parity a > Parity b holds
a div (Parity b) is even