欧拉函数及相关定理