theorem Th1060: :: NUMBER11:1060
digits (672,10) = <%2,7,6%>