theorem :: NEWTON05:97

for a, b being non zero Integer st a + b <> 0 & Parity a = Parity b & parity ((Oddity a) div 2) <> parity ((Oddity b) div 2) holds
Parity (a + b) > (Parity a) + (Parity b)