Metric Space is Compact iff Countably Compact

Theorem
A metric space is compact iff it is countably compact.

Proof
Follows directly from:
 * Compact Space is Countably Compact
 * Countably Compact Metric Space is Compact