(Donde formula_6 es un conjunto de representantes de las clases de conjugación.)