theorem Th1217: :: NUMBER11:1217

digits (2675,10) = <%5,7,6,2%>