Lecture 20 (Topology) Intermediate Value Theorem, Path Connectedness, and Compactness