State/Counting subsets of a given cardinality

=Proof=

=Metadata=