证若formula_13，formula_31，而formula_32是奇数。据此，可以知道formula_33，其中formula_34是formula_8的符号，也就是formula_12还是formula_13。所以formula_38。又由欧拉准则知formula_39，所以formula_40。如果formula_41是奇数，同时考虑勒让德符号的性质formula_42，可知formula_43，其中最后一步利用了等差数列的求和公式。但是，当formula_44时，由上式可得formu