theorem Th98: :: NEWTON02:196

for a, b, n being Nat
for p being prime Nat st p divides a + b holds
p divides (a |^ ((2 * n) + 1)) + (b |^ ((2 * n) + 1))