YCΩ2n是易项

证明了如下结果：对任意的ｎ≥１，ＹｃΩ２ｎ是易项，即对任λ项Ｍ，λβ＋ＹｃΩ２ｎ＝Ｍ是协调的。其中Ｙｃ是Ｃｕｒｒｙ不动点组合子，Ω２ｎ＝ω２ｎω２ｎ，ω２ｎ＝λｘ．ｘｘ…ｘ（λｘ之后ｘ有２ｎ次出现）。从而，部分证明了Ｊａｃｏｐｉｎｉ提出的如下问题：对任意的ｎ≥２，ＹｃΩｎ是易项。