。现在，由于formula_20，且formula_21，我们有formula_22，根据方程(1)可得formula_23。两边平方，得formula_24，证明了formula_17是可逆的，其逆元素为formula_26，因此位于"X"*内，它的目能整除formula_27。实际上，这个阶必须等于formula_27，因为formula_29，因此这个阶不能整除formula_30。由于群元素的阶最多就是群的大小，我们便得出结论，formula_31。但由于"q"是formula_10的一个非平凡素