Hay una variación de la ecuación de clases de conjugación que resultará muy útil para futuros resultados, basada en que la cardinalidad de cada clase de equivalencia es igual al índice de un cierto subgrupo.