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