"会在"N"("Q")为正规，故可知"P" = "Q"。由上可知Ω = {"P"}，因此由引理可知|Ω| ≡ |Ω| = 1 mod "p"。
得到一个西罗子群.由一个给定的群中得出一个西罗子群是计算群论中一个很重要的问题。在置换群里，已由William Kantor证明出一个西罗"p"-子群可以在输入数量的多项式时间内被找到。