theorem
  |(p-q,p-q)| = |(p,p)|-2*|(p,q)|+|(q,q)| by RVSUM_1:139;
