2. It is a proof that assumes that the hypothesis of a conjecture is true ​