El teorema de Lagrange proporciona una forma interesante de demostrar que el orden del grupo simétrico formula_47 de las permutaciones de formula_13 símbolos es formula_49.