for n being Nat
for X being finite set st card X < n holds
the_subsets_of_card (n,X) is empty