theorem Th864: :: NUMBER11:864

digits (1738,10) = <%8,3,7,1%>