theorem Th1229: :: NUMBER11:1229
digits (2875,10) = <%5,7,8,2%>