theorem :: NEWTON05:66

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