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