intermediate-value theorem