G:有限群 φ:Gの自己同型
・ ∀x∈G について φ(φ(x))=x
・ φ(x)=x をみたすxは単位元のみ
このときGは可換であることを示せ