theorem Th1205: :: NUMBER11:1205

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