theorem Th1231: :: NUMBER11:1231
digits (2925,10) = <%5,2,9,2%>