En la cadena (**) de subgrupos, se tiene que formula_111 es simple.