la_71有正因数formula_85，则可得：因此，formula_90。故formula_91。但formula_92，矛盾。故formula_71的形式只可能为formula_94或formula_95。引理的证明（乙）：使用反证法，设formula_71为完全数，且formula_97。formula_97。因为4的二次剩余只有0,1，故formula_71非平方数，因此其正因数个数为偶数。formula_71有正因数formula_85，则可得：因此，formula