theorem Th85: :: NUMBER11:85

digits (187,10) = <%7,8,1%>