mula_112，得formula_116。若formula_117非3的倍数，3和formula_118互质。因为formula_70为积性函数，可得formula_120。但formula_121，出现了矛盾。故知formula_117是3的倍数。代入formula_123，可得formula_124。