theorem :: NEWTON05:69

for a, b being non zero Nat st Parity (a + b) < (Parity a) + (Parity b) holds
Parity (a + b) = min ((Parity a),(Parity b))