theorem Th1219: :: NUMBER11:1219

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