not card X c= card n ;
hence not the_subsets_of_card (n,X) is empty by GROUP_10:2; :: thesis: verum