theorem Th989: :: NUMBER11:989
digits (966,10) = <%6,6,9%>