theorem Th854: :: NUMBER11:854

digits (1628,10) = <%8,2,6,1%>