Symmetry Rule for Binomial Coefficients

Theorem
Let $n \in \Z_{>0}, k \in \Z$.

Then:
 * $\dbinom n k = \dbinom n {n - k}$

where $\dbinom n k$ is a binomial coefficient.