One of these cliques is large if and only if it corresponds to a proof string that many proof checkers accept.
Una dintre aceste clici este mare, dacă și numai dacă ea corespunde unui șir de demonstrație acceptat de mulți verificatori.