theorem Th729: :: NUMBER11:729

digits (21,10) = <%1,2%>