theorem Th31: :: NEWTON02:31

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