theorem Th57:
  R is non degenerated &
  A is linearly-independent implies not 0.V in A by VECTSP_7:2;
