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}