theorem Th5: :: NUMERAL1:5

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