theorem ODP: :: NEWTON05:37

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