だから(E₁E₂)=(E₁E₂)(λx.(E₁E₂)a)=((λx.E₁a)(λx.E₂a))=(Sλx.E₁λx.E₂a)=((Sλx.E₁λx.E₂)a)外延的同値性によって、λx.(E₁E2)=(Sλx.E₁λx.E₂)したがって、λx.(E₁E₂)と等しいコンビネータを見つけるには、(Sλx.E₁λx.E₂)と等しいコンビネータを探せば十分である。
但是代换a到(E1E2)中x的位置上同于代换它到E1和E2二者中，所以(E1E2)=(E1E2)(λx.(E1E2)a)=((λx.E1a)(λx.E2a))=(Sλx.E1λx.E2a)=((Sλx.E1λx.E2)a)通过外延相等，λx.(E1E2)=(Sλx.E1λx.E2)所以，要找到等价λx.(E1E2)的组合子，找到等价于(Sλx.E1λx.E2)的组合子就足够了，而(STT)显然合适。