theorem :: NEWTON03:81

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