Esta regla nos dice, por ejemplo, que  λ "x". (λ "x". "x") "x"  es equivalente a  λ "y". (λ "x". "x") "y".