El teorema de Cook fue la primera prueba de existencia de problemas NP-Completos.