theorem :: NEWTON03:88

for a, b being odd Integer st |.a.| <> |.b.| holds
( 2 |-count ((a - b) |^ 2) <> 2 |-count ((a + b) |^ 2) & 2 |-count ((a - b) |^ 2) <> (2 |-count (a |^ 2)) - (b |^ 2) )