欧拉函数的和等于n证明