@ComeIntoPower 呃，好的，我直接把环论什么的放到我自己的另一篇博客里。正文的证明我再补详细一点。