theorem Th287: :: NUMBER11:287

digits (95,10) = <%5,9%>