Heine-Borel Theorem