Notemos que la clase del neutro es precisamente el subgrupo formula_6.