theorem :: NEWTON05:73

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