If it true that for every $b$-normal number (where the base $b,b^2,b^3,\ldots$ digits are asymptotically equiprobable) that the first differences of the base-$b$ digits, interpreted as a (signed) base-$b$ expansion, form a $b$-normal number?
It seems 'obviously' true but I wanted to check.
This is actually a practical question in disguise! I want to detect when a (short) string of digits is 'probably' a normal number or something else. Of course in pure theory there's no reason the first billion digits of a normal number wouldn't be 7, but in this application I'm just looking for a best guess. I found that there are many times that the digits themselves have roughly even distributions but the first differences are decidedly not well-distributed -- the numbers are in 'clumps', perhaps, with small first differences.
Generally speaking my thought is to apply some sort of chi-square test to the numbers and first differences, but I wanted to make sure the theory was sound first. (If so, the next step will be testing it on the decimal expansions of random constants to see how well it works.)