theorem
  (0).W is Subspace of V by Th27;
