Доказательство от противного. Предположим, что □□ = □□□□. Пусть □□ это доказательство того, что □□ = □□□□. Доказательство □□ может быть проверено за полиномиальное время компетентным учёным-алгоритмистом, существование которого мы предполагаем. Однако, поскольку □□ = □□□□, доказательство □□ также может быть сгенерировано за полиномиальное время такими учёными. Поскольку этого всё ещё не произошло, несмотря на множество попыток найти такое доказательство, мы пришли к противоречию.