for a, b being odd Integer holds
( 4 divides a - b iff not 4 divides a + b )