theorem Th263: :: NUMBER11:263

digits (459,10) = <%9,5,4%>