非要把简单问题复杂化就是这样的，怎么不从皮亚诺公理和阿贝尔群开始证起呢😅以后竞赛题不说明在哪个群环域上面解那我看都不用做了