theorem
  C is linearly-closed iff C = the carrier of W by VECTSP_4:69;
