Si cualquier problema P-completo se encuentra contenido en NP, entonces se verificaría que P = NP.