theorem
  for V being strict RightMod of R, A being Subset of V st 0.R <> 1_R &
  A = the carrier of V holds Lin(A) = V
proof
  let V be strict RightMod of R, A be Subset of V such that
A1: 0.R <> 1_R;
  assume
A2: A = the carrier of V;
  (Omega).V = V;
  hence thesis by A1,A2,Th71;
end;
