theorem Th341: :: NUMBER11:341
digits (722,10) = <%2,2,7%>