es15

  Una possibile soluzione e' mettere al posto di ????
     (lambda (x) ((lambda (x) x) 2) )

     Al posto dei puntini andra' quindi
     f --> <(lambda (y) ((lambda (x) x) (g 1)))), n1>
     g --> <(lambda (x) ((lambda (x) x) 2)), n1>