theorem Th985: :: NUMBER11:985
digits (897,10) = <%7,9,8%>