theorem Th1064: :: NUMBER11:1064
digits (744,10) = <%4,4,7%>