展开 数论欧拉函数性质证明