theorem Th1353: :: NUMBER11:1353

digits (4700,10) = <%0,0,7,4%>