theorem Th1109: :: NUMBER11:1109
digits (825,10) = <%5,2,8%>