theorem Th1351: :: NUMBER11:1351

digits (4675,10) = <%5,7,6,4%>