for n, b being Nat st b > 1 holds
value ((digits (n,b)),b) = n