theorem Th283: :: NUMBER11:283

digits (57,10) = <%7,5%>