theorem ABP: :: NEWTON05:54

for a, b being Integer holds parity (a + b) = |.((parity a) - (parity b)).|