theorem
  for W1 being strict Submodule of V holds
    W1 /\ (W1 + W2) = W1 by Lm11,Th45;
