theorem Th776: :: NUMBER11:776
digits (638,10) = <%8,3,6%>