rmula_29是奇数。对任意在 formula_31 范围内的 formula_32，必须满足以下两种形式的一种：formula_33formula_34其中 formula_35 是某个满足 formula_36 的整数。因为由于费马小定理，对于一个素数 formula_24 ，有formula_38又由于上面的引理，如果我们不断对formula_39取平方根后，我们总会得到 formula_3 和 formula_4。如果我们得到了 formula_4 ，意味着②式成立，fo