Sigue de la unicidad que cada uno de los formula_31 debe aparecer en el lado izquierdo, es decir que hay un formula_32 por lo que