theorem Th1267: :: NUMBER11:1267

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