Foi incluída a prova do item 2 da Proposição 4.9 e uma pequena mudançã estética na definição da função G
Adicionada a prova do item da Proposição 4.9