theorem Th975: :: NUMBER11:975
digits (759,10) = <%9,5,7%>