theorem Th921: :: NUMBER11:921
digits (23,10) = <%3,2%>