theorem Th109:
  for W being strict Submodule of V holds (Omega).V /\ W = W by VECTSP_5:21;
