theorem Th760: :: NUMBER11:760

digits (462,10) = <%2,6,4%>