theorem Th1165: :: NUMBER11:1165
digits (1825,10) = <%5,2,8,1%>