theorem Th1077: :: NUMBER11:1077

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