theorem Th882: :: NUMBER11:882
digits (1958,10) = <%8,5,9,1%>