Sum of Binomial Coefficients over Lower Index

Theorem

 * $\ds \sum_{i \mathop = 0}^n \binom n i = 2^n$

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