theorem
  (0).V is Submodule of W
proof
  (0).W = (0).V by Th36;
  hence thesis;
end;
