theorem
  R is commutative &
  A c= B & B is linearly-independent implies A is linearly-independent
  by VECTSP_7:1;
