theorem
  for V being strict RightMod of R, A,B being Subset of V st Lin(A) = V
  & A c= B holds Lin(B) = V
proof
  let V be strict RightMod of R, A,B be Subset of V;
  assume Lin(A) = V & A c= B;
  then V is Submodule of Lin(B) by Th73;
  hence thesis by RMOD_2:25;
end;
