theorem Th345: :: NUMBER11:345
digits (760,10) = <%0,6,7%>