theorem :: NEWTON02:167

for n being prime Nat
for a, b, c being positive Nat st (n * a) * b divides c - b holds
(n * a) * b divides ((a |^ n) + (b |^ n)) - ((a + c) |^ n)