Concluída a prova da Proposição 4.9