Sequentially Compact Metric Space is Compact/Proof 3

Theorem
A sequentially compact metric space is compact.

Proof
Follows directly from:
 * Sequentially Compact Metric Space is Separable and Second-Countable
 * Second-Countable Space: Compactness Equivalent to Countable Compactness