mula_43是formula_12的倍数，令formula_45，矛盾。
引理一的证明.将和为formula_49的剩余两个一组的分开，可得出formula_50组，分别为formula_51。将模formula_9的二次剩余有formula_50个，分别为formula_54。若formula_55是模formula_9的二次剩余，选取formula_57使得formula_58，则formula_59，定理得证。若formula_55不属于模formula_9的