theorem Th3: :: NUMBER11:3

for n, b being Nat st n < b & b > 1 holds
digits (n,b) = <%n%>