theorem Th10: :: MOD_3:10

for R being Ring
for V being LeftMod of R
for A, B being Subset of V st A c= B holds
Lin A is Subspace of Lin B by VECTSP_7:13;