@Smeow 啊，你这个证明省略的有点多啊，难怪像我这种不懂群论的看不懂。。。还有前面有些定义和后面毫无关系可以删掉？

群论士说大概没问题那就没问题吧，然而这样还是不能发大概