En lenguaje de la teoría de grupos, formula_172 tiene orden 4.