Idea The Heine-Borel Theorem is a classical result that explains why closed bounded intervals in Euclidean space behave compactly. Statement Let K⊆Rn. K is closed and bounded ⟺ K is compact.