theorem PPM: :: NEWTON05:53

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