theorem Th1039: :: NUMBER11:1039

digits (1610,10) = <%0,1,6,1%>