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