Let $X \in \text{Student}(1)$ be a D4861: Student's random real number.
A D3161: Random real number $C \in \text{Random}(\mathbb{R})$ is a standard Cauchy random real number if and only if \begin{equation} C \overset{d}{=} X \end{equation}