Finalizada a seção de funções a valores reais mensuráveis