>>434
S_n が n 次対称群なら正しいし、固定元に関する帰納法でたぶん証明できるが
S_n でなく一般の S_X で X が無限集合だとその命題が真とは限らないのでは。

とりあえず問題を見直してくれないか。