>>681
すみません…

自分で考えたのは、帰納法での証明です

σ∈Ｓ_kについて、命題の成立を仮定し、
σ∈Ｓ_(k+1)のとき

σ(ｎ)＝ｎなら、σ∈Ｓ_k
σ(ｎ)＝ｍ≠ｎの時、
π＝(ｍ、ｎ)とする。

πσ(ｎ)＝π(σ(ｎ))＝π(ｍ)＝ｎだから
πσ∈Ｓ_kとなる


ここまでしかわからなくて…証明の方針がまずいかな…？