theorem Th347: :: NUMBER11:347

digits (779,10) = <%9,7,7%>