 Absolutely normal number

An absolutely normal number is a normal number in every integer base $K\ge 2$. The Birkhoff ergodic theorem and ergodicity of integer multiplication on the circle, followed by a countable intersection of full-measure sets, show that almost every real number is absolutely normal.