A D996: Natural number $n \in \mathbb{N}$ is a Fermat number if and only if \begin{equation} \exists \, m \in \mathbb{N} : 2^{(2^m)} + 1 = n \end{equation}