Sea formula_9 un lenguaje de primer orden.