theorem :: NEWTON05:68

for a, b being non zero Integer holds
( Parity (a + b) = Parity b iff Parity a > Parity b )