theorem PSD: :: NEWTON05:76

for a, b being odd Integer holds Parity (a + b) <> Parity (a - b)