Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures".