theorem Th34: :: NEWTON01:35

for a, b, m being Nat holds a + b divides (a |^ ((2 * m) + 1)) + (b |^ ((2 * m) + 1))