Symmetry Rule for Binomial Coefficients

Theorem

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

where $\displaystyle \binom n k$ is a binomial coefficient.