theorem Th834: :: NUMBER11:834
digits (1386,10) = <%6,8,3,1%>