theorem Th1359: :: NUMBER11:1359
digits (4775,10) = <%5,7,7,4%>