theorem Th71: :: NUMBER11:71

digits (99,10) = <%9,9%>