> [!NOTE] Lemma (Sum of Binomial Coefficients) > $\sum_{k=1}^n {n \choose k}= 2^n $ ###### Double-counting proof TBC $\blacksquare$