The theorem that a single-valued, real- valued, continuous function of a real variable is equal to zero at some point in an interval if its values at the end points of the interval have opposite sign.