Se dice que un problema no tiene solución cuando formula_9, es decir, formula_10.