theorem Th4: :: NUMERAL1:4

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