De forma simétrica se demuestra que ningún problema en co-NP-completo puede estar en NP.