Essa é uma revisão anterior do documento!

Vamos chamar de \(\mathcal{C}\) o conjunto das componentes de \(G \setminus F\) e de \(\mathcal{C}^*\) o subconjunto das cpmponentes de \(\mathcal{C}\) vizinhas de \(x\), iremos então definir o seguinte conjunto \(H = G[x \cup \bigcup \mathcal{C}^*]\), agora vamos notar que os elementos de \(\mathcal{C} \setminus \mathcal{C}^* \in G \setminus (F \setminus x)\).

Vamos notar que, \(F`\) encontra apenas finitas componentes de \(\mathcal{C}^*\), pois ele é um conjunto finito e são infinitas componentes disjuntas reduzidas por \(F\), assim as que não são encontradas são sugrafos das componentes de \(G \setminus F` \), pois \((F \setminus x) \subset F`\).