YCΩ2n是易项

证明了如下结果对任意的n≥1,YCΩ2n是易项,即对任λ项M,λβ+YCΩ2n=M是协调的.其中YC是Curry不动点组合子,Ω2n=ω2nω2n,ω2n=λx.xx…x(λx之后x有2n次出现).从而,部分证明了Jacopini提出的如下问题对任意的n≥2,YCΩ2n是易项.