theorem
  for V being strict LeftMod of R, A being Subset of V st
    R is non degenerated &
    A = the carrier of V holds Lin(A) = V
  proof
  let V be strict LeftMod of R, A be Subset of V such that
  R is non degenerated;
  assume
A2: A = the carrier of V;
  (Omega).V = V;
  hence thesis by A2,Th12;
end;
