利用方向保序变换半群OPn的正则D-类中的幂等元计数结果,证明了以下重要的组合恒等式：nΣr=1[A1,A2,…,ARΣ]∈Ωr｜A1｜｜A2｜…｜Ar｜=F2n-1＋F2......