theorem Th65: :: NEWTON02:65

for a, b being odd Nat
for m being even Nat holds 4 divides (a |^ m) - (b |^ m)