theorem Th34: :: RLVECT_X:34

for V being RealLinearSpace
for A being Subset of V holds Lin (Z_Lin A) = Lin A