@ComeIntoPower 谢谢审稿。不好意思，本人的博客确实有许多不足。。。我再花一些时间新增一块抽象代数内容，再把其他锅补上。另外，关于分解4n+1型素数的方法，构造k的方案不就证明了有这样的k吗？