Aggiunto esercizio su dimostrazione correttezza parziale e totale di una tripla di Hoare