有一个证明,但是其中第(2)、(3)两步我看不懂,先把链接放这里.
www.math.ucla.edu/~mms/simple.ps
第(2)步里,为什么G和sigma(G)就交换了,我还没看出来.所以第(3)步就没仔细看.