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