theorem Th1225: :: NUMBER11:1225

digits (2825,10) = <%5,2,8,2%>