theorem Th1357: :: NUMBER11:1357

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