Let $x, y \in \mathbb{R}$ each be a D993: Real number.
Let $n \in \mathbb{N}$ be a D996: Natural number.

Then \begin{equation} (x + y)^n = \sum_{m = 0}^n \binom{n}{m} x^m y^{n - m} \end{equation}