(1) 證 X ∈ NP：存在多項式時間驗證器；(2) 找已知 NP-complete 問題 Y，構造多項式時間歸約 Y ≤p X。