Wiki also says: 

> A famous network of conditional proofs is the NP-complete class of complexity theory


  [1]: http://en.wikipedia.org/wiki/Conditional_result