A D5216: Random natural number $X \in \text{Random}(\mathbb{N})$ is a standard Poisson random natural number if and only if \begin{equation} X \overset{d}{=} \lim_{N \to \infty} \text{Binomial}(N, 1 / N) \end{equation}