Por lo tanto, para encontrar un combinador equivalente a "λx".("E1" "E2"), es suficiente encontrar un combinador equivalente a (S "λx"."E1" "λx"."E2"), y