theorem :: NEWTON05:64

for a, b being Integer st Parity (a + b) > (Parity a) + (Parity b) holds
Parity a = Parity b