Definition--Calculus Topics--Intermediate Value Theorem