An existence theorem that shows something can exist. It does not find where the roots are, but it can tell you it exists
Definition
- is a continuous function on the closed interval
- is any number between and
- such that . Of course, there can be multiple values of that satisfy the in the theorem.