Champernowne constant

The CHampernowne constant is the real number $C_{10}=0.12345678910111213141516171819202122232425\ldots$

Properties

Theorem: The Champernowne constant is a transcendental number.

Proof: █