theorem
  Lin(A /\ B) is Submodule of Lin(A) /\ Lin(B)
proof
  Lin(A /\ B) is Submodule of Lin(A) & Lin(A /\ B) is Submodule of Lin(B)
  by Th73,XBOOLE_1:17;
  hence thesis by RMOD_3:20;
end;
