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