theorem Th1273: :: NUMBER11:1273

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