Esto implica que NP = co-NP como se muestra como prueba en el artículo sobre co-NP.