Sabemos que formula_19 es la reunión de las clases laterales izquierdas que son disjuntas entre sí, y cada una de esas clases tiene igual cantidad de elementos que formula_6.