素"x"若在"G"的作用下不固定的话，其将会在其目为|"G"|/|"G"|之轨道上（其中"G"为隐定子），此目依题目的假设会是"p"的倍数（不可能为1，因为其目为1的轨道即为在"G"的作用下固定的点）。因此结论立即就出来了。定理2：若"H"是"G"的子群且|"H"|="p"，以及"P"为"G"的p-西罗子群，则存在一个在"G"内的元素"a"会使得"a"H"a"为"P"的子群。特别地是，所有"G"的西罗"p"-子群都会共轭（且因此同构）于另一个，即若"H"和"K"为"G"的西罗"p"-子群，则存在一个"G