证明欧拉函数的性质