theorem
  |(p, q1-q2)| = |(p, q1)| - |(p, q2)| by Th22;
