Les théories ont deux composantes, appelées les hypothèses et les conclusions.
On sait que ces deux théorèmes sont vrais seulement en les réduisant à une recherche computationnelle qui est ensuite vérifiée par un programme d'ordinateur.