Let $N$ be a D4001: Geometric random positive integer with parameter $\theta$.
A D5216: Random natural number $M \in \mathsf{Random}(\mathbb{N})$ is a geometric random basic natural number if and only if \begin{equation} M \overset{d}{=} N - 1 \end{equation}