theorem Th1347: :: NUMBER11:1347

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