вопрос некорректный
ДОКАЗАТЕЛЬСТВО не может быть НЕОБХОДИМЫМ
доказательство может быть только достаточным (собственно говоря, любое ДОКАЗАТЕЛЬСТВО является полным и достаточным (в противном случае это НЕ доказательство!)
Спасибо за лайк!
Доказательство неэффективно и абсолютно нефинитно, т.е. не имеет финитного алгоритма построения доказательства. Что есть финитность пусть объяснят математики, о чем в школе они молчат.