Finalmente, formula_15 se encuentra en NP "si y solo si" formula_14 corre en tiempo polinómico.