Como la reunión de las clases de conjugación es todo formula_9 y como las clases son disjuntas, tenemos que la cantidad de elementos de formula_9 es igual a la suma de los elementos en cada clase, o sea que