theorem
  for A be Subset of RLS holds A c= Affin A by Lm7;
