 Normality and equidistribution under integer multiplication

A number $x$ is a normal number in base $K$ exactly when $(T_K^{n}x)$ is an equidistributed sequence. A word of length $r$ corresponds to a half-open interval of length $K^{-r}$; these intervals form arbitrarily fine grids, which approximate any interval from inside and outside.