theorem Th1207: :: NUMBER11:1207

digits (2525,10) = <%5,2,5,2%>