Heine-Borel theorem