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;
