theorem :: NEWTON03:82

for a, b being odd Nat st a <> b holds
1 = min ((2 |-count (a - b)),(2 |-count (a + b)))