Adicionado o Teorema sobre Convergência monotona de funções simples para uma função mensurável não-negativa