theorem :: ZMODUL02:73

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