Por ejemplo  λ"x"."x"  y  λ"y"."y"  son la misma función.