Copeland-Erdős Constant is Normal

Theorem
The Copeland-Erdős constant whose decimal expansion is formed by concatenating the prime numbers in asccending order:
 * $0 \cdotp 23571 \, 11317 \, 1923 \ldots$

is normal with respect to base $10$.