theorem ThLin2:
  v in Lin{v} by ZMODUL02:65,ZFMISC_1:31;
