es66 Vedi Esercizio 4.8 di [VS] Vladimiro Sassone Induzione matematica e verifica di funzioni ricorsive e relativa soluzione sulla pagina web del programma del corso.