Se e são funções reais, então vale: