A permutation on the set {1, . . . , k} is a one-to-one, onto function on this set. When p is a permutation, p^t means the composition of p with itself t times. Let PERM-POWER = {(p, q, t)| p = q^t where p and q are permutations on {1, . . . , k} and t is a binary integer}. Show that PERM-POWER ∈ P.