reserve a,b,c,d,x,j,k,l,m,n for Nat,
  p,q,t,z,u,v for Integer,
  a1,b1,c1,d1 for Complex;

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;
