theorem
  Lin(A /\ B) is Submodule of Lin(A) /\ Lin(B) by MOD_3:13;
