theorem
  a+b divides a|^(2*m) - b|^(2*m)
  proof
    A1: a+b divides a|^2-b|^2 by Lm44;
    a|^2-b|^2 divides a|^(2*m)-b|^(2*m) by Th33;
    hence thesis by A1,INT_2:9;
  end;
