theorem :: NEWTON05:52

for a, b being Integer holds parity (a + b) = parity ((parity a) + (parity b)) by NAT_D:66;