theorem Th55: :: NEWTON02:153

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