Il diagramma di precedenza sulla relazione di precedenza [ descritta nell'esercizio e'
           101    102      103  ....
             \     |       /       /
                     0
                     |
                     1
                     |
                    ....
                     |
                    100

Caso base:   f(100) = 0 quindi la computazione termina (restituisce 0 ovvero 100 - 100, quindi la proprieta' e' valida)
Caso induttivo (per semplicita'iviso in n<100 e n>100 per la presenza dell'if_then_else)
se n>100

f(n) = n + f(0) = (per ipotesi induttiva, visto che 0 precede n (che ricordiamo e' >100) allora per f(0) la proprieta' valida, e' dfinita e calcola esattamente 
(0-100)=n + (0 - 100) = n - 100
quindi se n>100 la computazione termina e restituisce n - 100,quindi la proprieta' valida.

se n<100
f(n)=f(n+1) -1 = (per ipotesi induttiva, visto che n+1 precede n (poichè<100) allora per f(n+1) la proprietàa' valida, e' definita e calcola esattamente 
(n+1-100)) =(n+1-100)-1= n-100
quindi se n<100 la computazione termina e restituisce n-100, quindi la proprietà valida.

Poiche' il calcolo di f termina per ogni input allora f e' ttale. Ed abbiamo visto che, per qualunque input x, f calcola esattamente x-100.