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 Th33:
  a|^2-b|^2 divides a|^(2*m)-b|^(2*m)
  proof
    a|^(2*m)=(a|^2)|^m & b|^(2*m)=(b|^2)|^m by NEWTON:9;
    hence thesis by Th32;
  end;
