"的作用下为固定之Ω内的点所组成之集合。然后可知|Ω| ≡ |Ω| mod "p"。证明：将Ω写成在"G"下之轨道此种不相交集合的联集。每一个在Ω内的元素"x"若在"G"的作用下不固定的话，其将会在其目为|"G"|/|"G"|之轨道上（其中"G"为隐定子），此目依题目的假设会是"p"的倍数（不可能为1，因为其目为1的轨道即为在"G"的作用下固定的点）。因此结论立即就出来了。定理2：若"H"是"G"的子群且|"H"|="p"，以及"P"为"G"的p-西罗子群，则存在一个在"G"内的元素"a"会使得"a