theorem Th327: :: NUMBER11:327
digits (589,10) = <%9,8,5%>