theorem Th1343: :: NUMBER11:1343

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