theorem Th750: :: NUMBER11:750
digits (264,10) = <%4,6,2%>