theorem Th858: :: NUMBER11:858

digits (1672,10) = <%2,7,6,1%>