Zero Choose Zero

Theorem

 * $\dbinom 0 0 = 1$

where $\dbinom 0 1$ denotes a binomial coefficient.