Therefore, if 3-SAT could be solved in subexponential time, one could use this reduction to solve k-SAT in subexponential time as well.
Dakle, ako bi 3-SAT mogao biti rešen u subeksponencijalnom vremenu, mogla bi se iskoristiti ova redukcija kako bi se rešio k-SAT, takođe u subeksponencijalnom vremenu.