theorem Th10: :: VECTSP_8:10

for F being Field
for x being object
for VS being strict VectSp of F
for S being Subset of VS st not S is empty & S is linearly-closed & x in Lin S holds
x in S