theorem Th2: :: NUMBER16:2

for b, n, k, x being Nat st b > 1 & n > 0 & n * (b |^ k) <= x & x < (n + 1) * (b |^ k) holds
digits (n,b) = (digits (x,b)) /^ k