theorem Th99:
  for W being strict Submodule of V holds (0).V + W = W by VECTSP_5:9;
