[math-fun] Permutation group problem