Inversamente, si aceptamos la extensionalidad como válida entonces, dado que por beta reducción de todo "y" tenemos que  (λ "x". "f" "x") "y" ==  "f" "y",  resulta que  λ "x". "f" "x"   ==  "f";  es decir, descubrimos que la eta conversión es válida.