theorem SDM: :: NEWTON06:61

for a, b being odd Integer holds
( (a + b) mod 4 = 2 or (a - b) mod 4 = 2 )