theorem Th987: :: NUMBER11:987

digits (943,10) = <%3,4,9%>