theorem Th5: :: MOD_3:5

for x being object
for R being Ring
for V being LeftMod of R
for A being Subset of V st x in A holds
x in Lin A by VECTSP_7:8;