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