theorem Th788: :: NUMBER11:788
digits (792,10) = <%2,9,7%>