for a, b being odd Integer holds min ((Parity (a - b)),(Parity (a + b))) <= 2