theorem Th1213: :: NUMBER11:1213

digits (2625,10) = <%5,2,6,2%>