Talk:Heine–Borel theorem