theorem :: NEWTON01:37

for a, b, n being Nat st a + b divides (a |^ n) - (b |^ n) holds
a + b divides (a |^ (n + 1)) + (b |^ (n + 1))