theorem
  the carrier of V = V1 implies V1 is linearly-closed;
