theorem Th1075: :: NUMBER11:1075

digits (25,10) = <%5,2%>