theorem :: NEWTON05:77

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