Les fonctions de réduction polynomiale fonctionnent-elles dans les deux sens?

Question

Par exemple, pour prouver un ensemble indépendant 3-SAT ≤p, je dois juste prouver ce théorème:

THEOREM- Formule F est un graphique IFF satisfait a un ensemble indépendant.

Si je dois le prouver de cette façon, cela signifie-t-il également que l'ensemble indépendant ≤p 3-SAT aussi puisque le théorème va dans les deux sens?