Esto lleva a la condición de primer orden: formula_12