A c= Affin A by Lm7;
hence not Affin A is empty ; :: thesis: verum