theorem Odd: :: NEWTON03:80

for a, b being odd Integer
for n being Nat holds 2 |-count ((a |^ ((2 * n) + 1)) - (b |^ ((2 * n) + 1))) = 2 |-count (a - b)