Twierdzenie Heinego–Borela