Sorry I am not used to using the tex code, but will learn and explain in words for now!
I am trying to prove that for all distinct x and y in a finite set X, there exists a function f in P(X) (the permutation group) such that f(x)=x' and f(y)=y'. Note: x' and y' are also distinct.
I have...