finished proof permutation