theorem Th60: :: NEWTON02:158

for a, b being Nat
for n being prime Nat holds
( n divides a + b iff n divides (a |^ n) + (b |^ n) )