theorem
  for R being non degenerated Ring
  for V being strict LeftMod of R
  for A being Subset of V st A = the carrier of V holds
    Lin(A) = V
proof
  let R be non degenerated Ring;
  let V be strict LeftMod of R;
  let A be Subset of V;
  assume A = the carrier of V; then
  A = the carrier of (Omega).V;
  hence thesis by Th8;
end;
