theorem :: NEWTON02:32

for a, b, n being Nat st a,b are_coprime & a + b > 2 & n is odd holds
not a + b divides (a |^ n) - (b |^ n)