Let $Z_1, \ldots, Z_N \in \mathsf{N}(0, 1)$ each be a D211: Standard gaussian random real number such that
| (i) | $Z_1, \ldots, Z_N$ is an D2713: Independent random collection |
Then $(Z_1, \ldots, Z_N)$ is a D5273: Standard gaussian random euclidean real number.