The Zero Case
Figure 1 — A sign change across a closed interval already contains a zero.
Caption. The two marked crossings are both guaranteed by the same argument, and the argument locates neither of them. Existence is the entire content of the conclusion.
Setting in the Intermediate Value Theorem gives the working form:
Opposite signs is the same statement as , which is a compact way to record the hypothesis in one line.