mula_96 可以证明此映射是一个双射的函数，而这个映射的结论就是所谓的 轨道-稳定点定理 formula_97而一个跟轨道-稳定点定理相似的结果就是Burnside's 引理，formula_98
西罗定理.详情请看西罗定理