前"r"的选定。令"G"以左乘积作用于Ω上，则基于"r"之选定，会存在一个于Ω内的"A"，其具有一个会使"p" formula_3 |θ|之轨道θ="A"。这里会有|θ| = |"A"| = ["G" : "G"]的关系，其中"G"标示为集合"A"的隐定子子群，因此"p" | |"G"|，故"p" ≤ |"G"|。注意在"G"的作用下之于"A"内的两个元素"a"和"ga"可能为不同个的，所以|"A"| ≥ |"G"|。由上述"p" ≤ |"G"|和|"A"| ≥ |"G"|两个结果，故知|"G"| = "p