theorem Th331: :: NUMBER11:331
digits (627,10) = <%7,2,6%>