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