Este resultado fue demostrado por Stephen Cook en 1971, y se lo llamó el teorema de Cook.