theorem Th265: :: NUMBER11:265

digits (476,10) = <%6,7,4%>