theorem
  for A be Affine Subset of RLS holds A = Affin A by Lm8;
