Heine-Borel Theorem/Euclidean Space/Proof 2