A D996: Natural number $x \in \mathbb{N}$ is a digit if and only if \begin{equation} x \in \{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 \} \end{equation}