theorem
  for GF be Ring,
      V be LeftMod of GF,
      A,B be Subset of V holds
  Lin(A /\ B) is Subspace of Lin(A) /\ Lin(B)
proof
  let GF be Ring,
      V be LeftMod of GF,
      A,B be Subset of V;
  Lin(A /\ B) is Subspace of Lin(A) &
  Lin(A /\ B) is Subspace of Lin(B) by Th13,XBOOLE_1:17;
  hence thesis by VECTSP_5:19;
end;
