Let $N \in \mathbb{N}$ be a D996: Natural number.

Then \begin{equation} 2^0 + 2^1 + \cdots + 2^{N - 1} + 2^N = 2^{N + 1} - 1 \end{equation}