Equivalence of Definitions of Binomial Coefficient

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.