C'est-à-dire que tout problème dans le NP peut être réduit en temps polynomial par une machine déterministe de Turing au problème de déterminer si une formule booléenne est satisfaisante.
Tout problème dans NP peut être modifié de façon à ce que le théorème de la satisfabilité booléenne puisse être modifié.