theorem Th1261: :: NUMBER11:1261

digits (3425,10) = <%5,2,4,3%>