theorem
  for A be Subset of RLS holds A c= conv A by Lm1;
