{} c= A by XBOOLE_1:2;
hence not Fin A is empty by Def5; :: thesis: verum