Redirecting to Heine–Borel theorem