据费马小定理得：formula_1是一个奇素数，所以关于formula_1的原根存在。设formula_38是formula_1的一个原根，则存在formula_40使得formula_41。于是 formula_38是formula_1的一个原根，因此formula_38模formula_1的指数是formula_16，于是formula_16整除formula_49。这说明formula_50是一个偶数。令formula_51，就有formula_52。formula_3是模formula_1