theorem Th33: :: NEWTON01:34

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