Aggiunto esercizio 7.9.7