How about the Cook-Levin theorem - boolean satisfiability is NP complete. Though the consequence that "if there exists a polynomial time algorithm for boolean satisfiability then all problems in NP can be solved in polynomial time" may fit the bill better!
I mean what does boolean satifiability have to do with finding hamiltonians on graphs or finding shortest roots in networks?!
Ivan
