theorem :: NEWTON02:69

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