
theorem
  for V being RealUnitarySpace, A,B being Subset of V holds Lin(A /\ B)
  is Subspace of Lin(A) /\ Lin(B)
proof
  let V be RealUnitarySpace;
  let A,B be Subset of V;
  Lin(A /\ B) is Subspace of Lin(A) & Lin(A /\ B) is Subspace of Lin(B) by Th7,
XBOOLE_1:17;
  hence thesis by Lm3;
end;
