Sejam as funções reais dadas por e .

Se , então vale: