theorem Th1149: :: NUMBER11:1149

digits (1525,10) = <%5,2,5,1%>