Aggiustato la dimostrazione

- Aggiunto lemma sui "nomi liberi" di un arco nel grafo delle
configurazioni
- Restilying allo statement del lemma 4
- Prova più dettagliata dei punti 2 e 3 del lemma 4