es13


La funzione fstt prende un predicato su numeri e
restituisce il piu' piccolo numero non negativo su cui il predicato
e' vero, se tale numero esiste, altrimenti diverge.
la funzione changefst prende un predicato P su numeri e, se (fstt P) converge,
restituisce il predicato P se (fstt P)=0, altrimenti il
predicato che e' vero solo su (fstt P)-1. Se (fstt P) diverge,
diverge anche (changefst P).

(lambda (z) (= z 3))

(lambda (z) #f )

fstt e' totale sui predicati su numeri e che sono veri almeno per un
numero non negativo, chiamiamo PRED tale dominio.