基本NP完全问题的证明