theorem Th876: :: NUMBER11:876
digits (1892,10) = <%2,9,8,1%>