theorem
  W1 /\ W2 is Submodule of W1 + W2 by Lm9,Th43;
