Continuity calculus intermediate value theorem