Heine-Borel Theorem/Euclidean Space/Necessary Condition

Theorem
For any natural number $n \ge 1$, a closed and bounded subspace of the Euclidean space $\R^n$ is compact.