По определению, NP -полная проблема X обладает тем свойством, что каждая задача Y ∈ NP сводится к X. (Это то, что NP -твердость означает.) Аналогично, по определению каждая NP -полная проблема находится в NP . Если сложить эти два значения вместе, каждая NP -полная проблема сводится к любой другой, поэтому все NP -полные проблемы сводятся к 3SAT.