theorem Th33:
  |(p,p)| >= 0 by RVSUM_1:119;
