theorem LEQ: :: NEWTON05:63

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