Finished Heine-Borel