ex x being Element of F st A = {x} by Th63;
hence not F \ A is empty by ZFMISC_1:139; :: thesis: verum