Incluida a prova de que função limite pontual de função mensurável é mensurável