theorem Th186: :: NUMBER11:186
digits (128,10) = <%8,2,1%>