Con la regla de η-reducción, "λf"."λx".("f" "x") se transformó en I.