theorem :: ZMODUL02:73

for R being Ring
for V being LeftMod of R
for A, B being Subset of V holds Lin (A /\ B) is Submodule of (Lin A) /\ (Lin B) by MOD_3:13;