[nongtum]

2.1 Trivial เพราะ \(|A|<\infty\ \Rightarrow\ f,g\in{}S_n\) เป็น bijection
2.2 ให้ f=p(x) เป็น permutation บน A จะได้ g=p^-1 ซึ่งทำให้ \(f\circ{}g=id\in{}I_n\)
2.3 (ไม่ชัวร์นะครับ) \(|\{f\in S_{n}|f\circ f=id\}|=|\{f\in S_{n}|f=f^{-1}\}|\) จาก 2.2 จะได้ว่า x=p(x) นั่นคือ |X|=1