Foi incluída a prova do item 1 da Proposição 4.9