theorem Th1319: :: NUMBER11:1319
digits (4275,10) = <%5,7,2,4%>