theorem Th1171: :: NUMBER11:1171
digits (1925,10) = <%5,2,9,1%>