theorem
  i*v in Lin{v} by ZMODUL01:37,ThLin2;
