a_12还是formula_13。所以formula_38。又由欧拉准则知formula_39，所以formula_40。如果formula_41是奇数，同时考虑勒让德符号的性质formula_42，可知formula_43，其中最后一步利用了等差数列的求和公式。但是，当formula_44时，由上式可得formula_45，所以formula_46。现在令formula_4和formula_48为奇素数，可得formula_49以及formula_50，所以formula_51。现