{} RLS is Affine by RUSUB_4:22;
hence Affin A is empty by Lm8; :: thesis: verum