theorem Th60:
  R is commutative non degenerated &
  {v1,v2} is linearly-independent implies v1 <> 0.V by VECTSP_7:4;
