theorem ThLin2: :: ZMODUL06:20

for V being Z_Module
for v being Vector of V holds v in Lin {v} by ZMODUL02:65, ZFMISC_1:31;