Heine–Borelの被覆定理