que implica que formula_9 es solución del segundo sistema, como queríamos comprobar.