Heine–Borel-tétel