Equivalence of Definitions of Binomial Coefficient

Theorem
The following definitions of a binomial coefficient are equivalent:

Definition 1 implies Definition 2
Follows directly from Cardinality of Set of Subsets.

Definition 1 implies Definition 3
This is proved in the Binomial Theorem.