theorem Th307: :: NUMBER11:307
digits (399,10) = <%9,9,3%>