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