es25

   Al posto di ???? si puo' mettere qualsiasi cosa poiche' il g contenuto
   nel corpo di f e' legato (e' l'argomento della f).
   Poiche' f viene chiamata con argomento (lambda (x) x) l'interprete non dara'
   errore poiche' nel corpo di f (lambda (x) x) verra' applicata a (lambda (x) x),
   cosa possibile, e il risultato, ancora (lambda (x) x), verra' applicato a 2.

   Possiamo quindi mettere, per esempio, 1 al posto di ????.


   -------------------------------------------------------------
   | f --> <n1, (lambda (g) ( (g (lambda (x) x) ) (+ 1 1))) >  | 
   | g --> 1                                                   | 
   ------------------------------------------------------------|
              ^                                        ^
              | n1                                     | 
              |                                        |
         -------------------------------         ------------------------------
         | g --> <n1, (lambda (x) x) > |         | x --> <n2, (lambda (x) x)> |
         -------------------------------         ------------------------------
                      ^
                      | n2
                      |
                ------------
                | x --> 2  |
                ------------