theorem
  {}(the carrier of V) is linearly-independent;
