theorem Th852: :: NUMBER11:852
digits (1606,10) = <%6,0,6,1%>