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