Cada problema en co-NP-completo es el complemento de uno en NP-completo.