theorem Th1291: :: NUMBER11:1291

digits (3925,10) = <%5,2,9,3%>