theorem Th800: :: NUMBER11:800

digits (968,10) = <%8,6,9%>