欧拉函数（定义+性质+证明+模板）