theorem Th1155: :: NUMBER11:1155
digits (1625,10) = <%5,2,6,1%>