Por ejemplo, si reemplazamos "x" por "y" en λ"x".λ"y"."x", obtenemos λ"y".λ"y"."y", que claramente, no es la misma función.