 Conditional proofs exist linking several otherwise unproven conjectures, so that a proof of one conjecture may immediately imply the validity of several others.It can be much easier to show a proposition's truth to follow from another proposition than to prove it independently.A famous network of conditional proofs is the NP-complete class of complexity theory.