theorem Th870: :: NUMBER11:870
digits (1826,10) = <%6,2,8,1%>