Como consecuencia de esta definición, de tenerse un algoritmo en P para "C", se tendría una solución en P para todos los problemas de NP.