theorem Th313: :: NUMBER11:313

digits (456,10) = <%6,5,4%>