If the original satisfiability instance is satisfiable, it will have a valid proof string, one that is accepted by all runs of the checker, and this string will correspond to a large clique in the graph.
Dacă instanța originală de satisfiabilitate este satisfiabilă, aceasta va fi un șir de demonstrație valid, unul acceptabil de către toate rulările verificatorului, și acest șir va corespunde unei clici mari din graf.