Heine-Borel Theorem

Also see

 * Compact Subspace of Linearly Ordered Space
 * Heine-Borel Theorem/Real Line/Closed and Bounded Interval