theorem SDO: :: NEWTON06:62

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