Concluída a prova do Lema de Fatou para Funções Indicadoras no arquivo aula4.tex