Изменения
→Доказательство
Нужно доказать что <tex>L\in \Sigma_1</tex>
<tex>L_1\in {} NP \Rightarrow L_1\le{}_mSAT _m SAT по карпу с помощью f, т.е. L={x|для любого y f(<x,y>)\in {SAT}}
f(<x,y>)\in SAT это значит, что для некоторого набора формул выполняется для всего набора, если предположить, что L={x|для любого y C_n(f(<x,y>))=1}
