Finalizada a prova do Lema 4.10