theorem Th991: :: NUMBER11:991
digits (989,10) = <%9,8,9%>