theorem Th87: :: NUMBER11:87
digits (198,10) = <%8,9,1%>