theorem PMI: :: NEWTON05:51

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