Symmetry Rule for Binomial Coefficients

Theorem

 * $\forall n \in \Z, n > 0: \forall k \in \Z: \dbinom n k = \dbinom n {n - k}$

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