theorem Th1249: :: NUMBER11:1249

digits (3225,10) = <%5,2,2,3%>