Sea formula_23 cualquiera de estos antecedentes de formula_24, es decir, sea formula_32.