theorem Th34:
  |(p,p)| = |.p.|^2 by Th4;
