Let A be a non-empty set, and let P ≤ S_A. The subgroup P is transitive on A if, for each x, y ∈ A, there is some σ ∈ P such that σ(x) = y. Prove that if A is finite, then there is a subgroup Q ≤ S_A such that Q is cyclic, |Q| = |A|, and Q is transitive on A.