Heine–Borel Theorem