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