theorem Th3: :: VECTSP10:3

for K being Field
for V being VectSp of K
for x being object
for v being Vector of V holds
( x in Lin {v} iff ex a being Element of K st x = a * v )