Group of Permutations is Group