Finalizada a prova do lema mencionado no commit anterior