The Heine-Borel theorem states that a subspace of R^n (with the usual topology) is compact iff it is closed and bounded. The Heine-Borel theorem can be proved using the Bolzano-Weierstrass theorem.

Bolzano-Weierstrass theorem | bounded set | compact space

Émile Borel | Heinrich Eduard Heine