E' facile convincersi che gli inserimenti non sono essenziali alla definizione del problema.

esercizio: prova a convincertene.

proof: ogni inserimento puo' essere simulato con la cancellazione della parentesi accoppiata alla parentesi inserita.