排序定理的推广
배서정리적추엄