theorem Th2: :: RUSUB_3:2

for V being RealUnitarySpace
for A being Subset of V
for x being set st x in A holds
x in Lin A