theorem Th171: :: NUMBER11:171
digits (75,10) = <%5,7%>