mientras que su representación de la derecha nos dice que formula_23 está en formula_12.