theorem Th1243: :: NUMBER11:1243

digits (3125,10) = <%5,2,1,3%>