theorem
  |(p1-p2,q)| = |(p1,q)| - |(p2,q)| by RVSUM_1:134;
