Countably Compact Metric Space is Compact

Theorem
Let $M = \left({A, d}\right)$ be a metric space.

Let $M$ be countably compact.

Then $M$ is compact.

Also see

 * Metric Space is Compact iff Countably Compact