SOL: \fx.f(f x)

La deduzione e' la seguente.

                 [A->A]2  [A]1
                ---------------
       [A->A]2        A
     -----------------------
                 A
             ----------[1]
               A->A
         -----------------[2]
           (A->A)->(A->A)

Infatti:


                 [f: A->A]2  [x: A]1
                ----------------------
       [f: A->A]2        (fx): A
     ----------------------------
                 f(fx): A
             --------------[1]
               \x.f(fx): A->A
         ------------------------------[2]
           \f.\x.f(fx): (A->A)->(A->A)