Sequentially Compact Metric Space is Compact/Proof 3

Theorem
A sequentially compact metric space is compact.

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