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