设Ｐ是一个有限偏序集，Γ是一个群，保序地作用于Ｐ上，Ｋｌｅｉｔｍａｎ、Ｅｄｅｌｂｅｒｇ和Ｌｕｂｅｌｌ证明，Ｐ中存在一个Ｓｐｅｒｎｅｒ反链，它在Γ的作用下不变，换方之，它是Γ的某些轨道的并，给出一个可用......