Equivalence of Definitions of Binomial Coefficient

Theorem
The following definitions of a binomial coefficient are equivalent:

Proof
Follows directly from Cardinality of Set of Subsets.