theorem Th782: :: NUMBER11:782
digits (726,10) = <%6,2,7%>