correção de demonstração da mensurabilidade de f_1 na secção de funções mensuráveis na reta estendida