"λx"."λy".("y" "x") se ve así: