About the inequality of classes P; PN. Non-axiom solutions.

Это вторая часть гипотезы Кука- Левина, первая опубликована ранее. Показано, что гипотеза может не выполняться в сложных решениях, особенно тех, где разные принципиально способы решения- проверки.К примеру,решение геометрическое, проверка алгебраическая; решение химическое,- проверка на основе физики, так как иная невозможна...Таких вариантов принципиального неравенства классов P; PN может быть очень много, то есть равенство выполняется, как правило, в аксиомных, не проблемных задачах...Это окончательный вывод о гипотезе Кука- Левина.