Champernowne Constant is Normal

Theorem
The Champernowne constant:
 * $0 \cdotp 12345 \, 67891 \, 01112 \, 13141 \, 51617 \, 18192 \, 02122 \ldots$

is normal.