theorem Th1375: :: NUMBER11:1375

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