theorem Th1355: :: NUMBER11:1355

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