
theorem
  for R being Ring, V being LeftMod of R, v being Vector of V,
  i being Element of R holds i*v in Lin{v} by ThLin2,VECTSP_4:21;
