The Intermediate Value Theorem