Dadas as funções e , ambas estritamente decrescentes e sobrejetoras, considere . Então podemos afirmar que: