theorem Th860: :: NUMBER11:860

digits (1694,10) = <%4,9,6,1%>