Llamando formula_23 a este elemento, tendremos por su representación de la izquierda que formula_23 está en formula_11.