 There is a large number of interesting tasks, and while it is not known if a polynomial-time solution exists for any of them, it is known that if such a solution exists for any of them, one exists for all of them.Similarly, the Riemann hypothesis has many consequences already proven.As an example of a conditional proof in symbolic logic, suppose we want to prove A → C (if A, then C) from the first two premises below