"T"[λ"x".λ"y"."E"] ⇒ "T"[λ"x"."T"[λ"y"."E"]] (si x está libre en E)