>>618

x≠e である x∈G が φ(x) を対をなすので、#Gは奇数。
Feit-Thompson の定理より、Gは可解群。
次の補題に帰着した。

〔補題〕
位数が奇数の可解群はつねに可換群か？