theorem Th1070: :: NUMBER11:1070

digits (864,10) = <%4,6,8%>