theorem :: RLAFFIN1:50

for RLS being non empty RLSStruct
for A being Affine Subset of RLS holds A = Affin A by Lm8;