theorem Th1339: :: NUMBER11:1339

digits (4525,10) = <%5,2,5,4%>