theorem Th1211: :: NUMBER11:1211

digits (2575,10) = <%5,7,5,2%>