theorem Th1265: :: NUMBER11:1265

digits (3475,10) = <%5,7,4,3%>