theorem NEWTON0258: :: NEWTON03:73

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