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