ProofWiki:Sandbox

This is a test $6^5 + \omega$. $\displaystyle\sum_{k = 1}^n \binom{n}{k} a^k b^{n - k}$