Bibliography:Heine-Borel theorem