For real number $r$, infinite sequence of its digits in base 10, (I mean 1/9=>1,1,1,1,1,1,1,1,1,1,1,1.....)
I heard that if this sequence is the random sequence in the sense of kolmogorov complexity theory, then such $r$ is normal number. Is it right? Then how to prove it?