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