1的形式只可能为formula_110。若formula_111，根据欧拉的结果，formula_112，综合两者，得formula_113。若formula_114，formula_112，得formula_116。若formula_117非3的倍数，3和formula_118互质。因为formula_70为积性函数，可得formula_120。但formula_121，出现了矛盾。故知formula_117是3的倍数。代入formula_123，可得formula_124。