Consecuentemente, de tenerse un algoritmo que trabajase en tiempo polinómico para "C", se tendría un algoritmo en tiempo polinómico para cada uno de los problemas de co-NP.