theorem Th862: :: NUMBER11:862

digits (1716,10) = <%6,1,7,1%>