scritto esercizio su aggiunta arrya in while (presenti alcuni problemi di spaziatura verticale con i prooftree) e aggiunte alcune macro (da vagliare)